منابع مشابه
Review of heuristics for generalisation
Proof by induction plays a central role in showing that recursive programs satisfy their specification. Sometimes a key step is to generalise a lemma so that its inductive proof is easier. Existing heuristics for generalisation for induction are examined. The applicability of heuristics for generalisation is also examined, and it is shown that the kind of examples on which some of the heuristic...
متن کاملExploratory Construction of Generalisation Rules for Landuse Vector Data Generalisation
Landuse vector data generalisation is to derive a new landuse dataset or map from an initial dataset by removing the minor details. The generalised results should delineate the dominant landuse characteristics of important landuse types in a reduced map space or a theme-specific application. The generalisation process are guided and controlled by a set of generalisation rules serving for the re...
متن کاملEffective heuristics and meta-heuristics for the quadratic assignment problem with tuned parameters and analytical comparisons
Quadratic assignment problem (QAP) is a well-known problem in the facility location and layout. It belongs to the NP-complete class. There are many heuristic and meta-heuristic methods, which are presented for QAP in the literature. In this paper, we applied 2-opt, greedy 2-opt, 3-opt, greedy 3-opt, and VNZ as heuristic methods and tabu search (TS), simulated annealing, and pa...
متن کاملthe impact of peer review on efl reviewers writing proficiency
امروزه تصحیح همکلاسی در کلاسهای نگارش یکی از اجزاء لاینفک کلاسهای دانش آموز محور است. تاثیرات مفید تصحیح همکلاسی بر زبان آموزان، معلمان را متقاعد کرده است که علیرغم صرف زمان، انرژی و توان بسیار، از این شیوه ی آموزشی در کلاسهای آموزش نگارش بهره بگیرند. تحقیق حاضر بر آن است تا با مقایسه دو گروه از یادگیرندگان زبان انگلیسی، تاثیر تصحیح همکلاسی را بر توانایی نوشتاری آنها نشان دهد. 122 خانم زبان آمو...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Engineering Journal
سال: 1995
ISSN: 0268-6961
DOI: 10.1049/sej.1995.0015